Repleteness and the associated sheaf
نویسندگان
چکیده
منابع مشابه
Studying repleteness in the category of cpos
We consider the notion of replete object in the category of directed complete partial orders and Scott-continuous functions, and show that, contrary to previous expectations, there are non-replete objects. The same happens in the case of ω-complete posets. Synthetic Domain Theory developed from an idea of Dana Scott: it is consistent with intuitionistic set theory that all functions between dom...
متن کاملThe associated sheaf functor theorem in algebraic set theory
We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.
متن کاملSome Properties of Sheaf-solutions of Sheaf Fuzzy Control Problems
In this paper we present some results on the dependence of sheafsolutions of sheaf fuzzy control problems on variation of fuzzy controls.
متن کاملnew semigroup compactifications via the enveloping semigroups of associated flows
this thesis deals with the construction of some function algebras whose corresponding semigroup compactification are universal with respect to some properies of their enveloping semigroups. the special properties are of beigan a left zero, a left simple, a group, an inflation of the right zero, and an inflation of the rectangular band.
15 صفحه اولLeray in Oflag XVIIA: The origins of sheaf theory, sheaf cohomology, and spectral sequences
Jean Leray (November 7, 1906–November 10, 1998) was confined to an officers’ prison camp (“Oflag”) in Austria for the whole of World War II. There he took up algebraic topology, and the result was a spectacular flowering of highly original ideas, ideas which have, through the usual metamorphism of history, shaped the course of mathematics in the sixty years since then. Today we would divide his...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1998
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(96)00151-x